@InProceedings{AmaralVijaMart:2003:GeAuCa,
               author = "Amaral, Ana Silvia Martins Serra do and Vijaykumar, Nandamudi 
                         Lankalapalli and Martins, Eliane",
          affiliation = "{Aluno do curso de p{\'o}s-gradua{\c{c}}{\~a}o do INPE em 
                         Computa{\c{c}}{\~a}o Aplicada (CAP)} and Instituto Nacional de 
                         Pesquisas Espaciais, Laborat{\'o}rio Associado de 
                         Computa{\c{c}}{\~a}o Aplicada, BR-12227010, S{\~a}o Jos{\'e} 
                         dos Campos, SP, Brasil and {Universidade Estadual de Campinas}",
                title = "Gera{\c{c}}{\~a}o autom{\'a}tica de casos de teste de 
                         conformidade para software de aplica{\c{c}}{\~o}es em protocolos 
                         de comunica{\c{c}}{\~a}o",
            booktitle = "Anais...",
                 year = "2003",
               editor = "Banon, Gerald Jean Francis and Ramos, Fernando Manuel and Rosa, 
                         Reinaldo Roberto and Silva, Jos{\'e} Demisio Sim{\~o}es da",
                pages = "145 - 150",
         organization = "Workshop dos Cursos de Computa{\c{c}}{\~a}o Aplicada do INPE, 3. 
                         (WORCAP).",
            publisher = "Instituto Nacional de Pesquisas Espaciais",
              address = "S{\~a}o Jos{\'e} dos Campos",
             keywords = "teste de conformidade, Statecharts, Condado.",
             abstract = "Abstract: This work presents a methodology for automatic 
                         conformance test case generating for communicating protocol 
                         application software. The specification is based on the technique 
                         Statecharts and the methodology consists in converting the 
                         Statecharts specification to the Extended Finite State Machine 
                         (EFSM). After this, the Condado tool is used for the automatic 
                         test case generating enabling both the control and data aspects on 
                         an unified basis. Resumo: Este trabalho apresenta uma metodologia 
                         para gera{\c{c}}{\~a}o autom{\'a}tica de casos de teste de 
                         conformidade para software de aplica{\c{c}}{\~a}o em protocolos 
                         de comunica{\c{c}}{\~a}o. A especifica{\c{c}}{\~a}o se baseia 
                         na t{\'e}cnica Statechats e a metodologia consiste em converter a 
                         especifica{\c{c}}{\~a}o Statecharts para um M{\'a}quina Finita 
                         de Estados Estendida (EFSM). A partir da{\'{\i}}, faz-se uso da 
                         ferramenta Condado para a gera{\c{c}}{\~a}o autom{\'a}tica de 
                         casos de teste que permite tratar os aspectos controle e dados de 
                         maneira unificada.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos",
      conference-year = "26-27 nov. 2003",
             language = "Portuguese",
         organisation = "Instituto Nacional de Pesquisas Espaciais",
                  ibi = "7mbX3pFwXQZ5tjxfb/zUDBC",
                  url = "http://urlib.net/ibi/7mbX3pFwXQZ5tjxfb/zUDBC",
           targetfile = "finalll2003.pdf",
                 type = "Sistema de Informa{\c{c}}{\~a}o",
        urlaccessdate = "11 maio 2024"
}